antisymmetry postulate

反对称性假设